rframe{-}p(${\it es}$; $i$; $x$; $L$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$k$:Knd. ($\uparrow$hasloc($k$; $i$)) $\Rightarrow$ ($\neg$($k$ $\in$ $L$)) $\Rightarrow$ es{-}independent(${\it es}$; $i$; $k$; $x$)